Logic Control - PDFSEARCH.IO - Document Search Engine

Logic Control
Results: 840

#	Item
151	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:59 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
152	A General LTL Framework for Describing Control Knowledge in Classical Planning Master’s Thesis Faculty of Science, University of Basel Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-06-13 10:43:18 Heuristics Game artificial intelligence Combinatorial optimization Linear temporal logic Mathematics A* search algorithm Heuristic function Information science Temporal logic Search algorithms Artificial intelligence Routing algorithms
153	Partial Evaluation in Prolog: Some Improvements about Cuts and Control M. Bugliesi F. Russo Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:17:54 Logic Functions and mappings Automated theorem proving Resolution Prolog Function Constraint logic programming Mathematics Mathematical logic Rules of inference
154	ENGG1015: Homework 3 Solution Dr. Hayden So Question 1 Digital Logic 1 Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-12-14 23:16:36 Low latency Latency Computing Information Technology Network performance Throughput Transmission Control Protocol
155	MB206 Rev03 LOGIC CONTROL C B U TT I G Add to Reading List Source URL: www.liftmaster.com.au Language: English - Date: 2010-02-10 20:44:57 Electric motors Automation Power engineering Relay Transducers Switch Elevator Inverter Fail-safe Electrical engineering Electromagnetism Technology
156	design Editor: Martin Fowler ■ T h o u g h t Wo r k s Add to Reading List Source URL: martinfowler.com Language: English - Date: 2015-05-25 11:37:26 Cross-platform software Control flow Assertion Debugging Logic in computer science Software bugs Exception handling Null Java Software engineering Computing Computer programming
157	Automatic Synthesis of Rules for Planning in Belief Space Leslie Pack Kaelbling MIT CSAIL Cambridge, MAEmail: Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Stochastic control Control theory Logic in computer science Partially observable Markov decision process Fluent Probability Markov decision process Statistics Dynamic programming Markov processes
158	Wíinik: Towards an Agent-Based Simulation Design Tool for Distributed Agency and Cognitive Software Agents ∗ Josué Miguel Flores-Parra Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 19:58:28 Logic NetLogo Fuzzy control system Neuro-fuzzy Agent-based model Fuzzy logic Simulation Software agent Social simulation Artificial intelligence Science Computing
159	LIFTMASTER MAGIC BUTTON PERFORMANCE 240V 240V 24V 24V Logic Box LOGIC CONTROL MB106 MB206 MB126 MB226 MB106 Add to Reading List Source URL: www.liftmaster.com.au Language: English - Date: 2007-03-20 21:32:25 Relay Transducers Contactor Electrical engineering Electromagnetism Power engineering
160	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation

UPDATE